New Approaches for Minimization of Esops
نویسندگان
چکیده
Exclusive-Or Sums-of-Products (ESOPs) own nice properties like small complexity and good testability, but their design is complicated. To solve the problem of exact ESOP minimization, this paper introduces a new normal form for ESOPs of completely specified Boolean functions and studies the properties of this special normal form (SNF). Additional a new approach is introduced allowing to find a minimal ESOP of a strongly incompletely specified Boolean function. Experimental results speak for the new approaches.
منابع مشابه
Exact Minimization of and-EXOR Expressions of Practical Benchmark Functions
We propose faster-computing methods for the minimization algorithm of AND-EXOR expressions, or Exclusive-or Sum-Of-Products expressions (ESOPs), and obtain the exact minimum ESOPs of benchmark functions. These methods improve the search procedure for ESOPs, which is the most time-consuming part of the original algorithm. For faster computation, the search space for ESOPs is reduced by checking ...
متن کاملSNF: A Special Normal Form for ESOPs
This paper introduces a new normal form for Exclusive Sums-of-Products (ESOPs) of completely specified Boolean functions. We study the properties of the SNF and show its special place among canonical Reed-Muller representations. We propose to use the SNF in a number of applications related to the exact ESOP minimization. We describe an efficient way to compute the SNF with the complexity propor...
متن کاملImproving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms
Reversible circuits, i.e. circuits which map each possible input vector to a unique output vector, build the basis for emerging applications e.g. in the domain of low-power design or quantum computation. As a result, researchers developed various approaches for synthesis of this kind of logic. In this paper, we consider the ESOP-based synthesis method. Here, functions given as Exclusive Sum of ...
متن کاملMinimization of exclusive sum-of-products expressions for multiple-valued input, incompletely specified functions
This paper presents a new operation (Exorlink) and an algorithm to minimize Exclusive-OR Sum-of-Products expressions (ESOPs) for multiple valued input, two valued output, incompletely speciied functions. Exorlink is a more powerful operation than the existing ones for this problem. Evaluation on benchmark functions is given and it proves the superiority of the program to those known from the li...
متن کاملDesign Methods for Multi-Rail Cascades
This paper surveys methods to represent logic functions by cascades. First, a design method for multi-rail cascades with redundant inputs is shown. It uses logic minimization of SOPs (sumof-products expressions) or ESOPs (EXOR sum-of-products expressions) of multiple-valued inputs. Then, a design method for multi-rail cascades with irredundant inputs is shown. It uses functional decompositions ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002